Opportunistically Parallel Lambda Calculus
dl.acm.orgยท21hยท
Discuss: Hacker News
๐ŸŒฑMinimal Languages
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.comยท2hยท
Discuss: Hacker News
๐ŸชœRecursive Descent
Flag this post
C++ is my first programming language
reddit.comยท19hยท
Discuss: r/cpp
๐Ÿ—๏ธMinimal Compilers
Flag this post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks โ€ข GOTO 2025
youtube.comยท1d
๐Ÿ”—Go Generics
Flag this post
Rdza โ€“ Rust Programming, in Polish
github.comยท9hยท
Discuss: Hacker News
๐ŸŽ“Teaching Compilers
Flag this post
7 AI Study Workflows Developers Use to Learn Faster (Prompt Recipes Included)
coursiv.ioยท9hยท
Discuss: DEV
๐Ÿ’ฌInteractive REPLs
Flag this post
Ajla Tutorial
ajla-lang.czยท19hยท
Discuss: Hacker News
๐Ÿ”ฎLisp Interpreters
Flag this post
The top 4 JVM languages and why developers love them
infoworld.comยท2d
๐Ÿ”ฎClojure
Flag this post
Before You Learn Closures, Understand Context
tc39.esยท2dยท
Discuss: DEV
๐Ÿ“Rope Editors
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.comยท5hยท
Discuss: Lobsters, Hacker News
๐Ÿ—‚๏ธType Indexing
Flag this post
Roadmap for Improving the Type Checker
forums.swift.orgยท19hยท
Discuss: Lobsters, Hacker News
โœ…Type Checking
Flag this post
De Bruijn Numerals
text.marvinborner.deยท1dยท
Discuss: Hacker News
ฮปLambda Calculus
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.comยท2hยท
Discuss: Hacker News
๐ŸŽญRacket Modules
Flag this post
Do LLMs Signal When They're Right? Evidence from Neuron Agreement
arxiv.orgยท16h
๐Ÿ”ML Language
Flag this post
A Beginnerโ€™s Guide to Getting Started with add_messages Reducer in LangGraph
langcasts.comยท11hยท
Discuss: DEV
๐ŸŒ‰Language Bridges
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Ÿ‘‘Dependent Haskell
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.comยท19hยท
Discuss: Hacker News
๐ŸŒŠGradual Typing
Flag this post
Master Rust Pattern Matching: Build Safer, More Expressive Code with Advanced Techniques
dev.toยท21hยท
Discuss: DEV
๐ŸŽฏPattern Matching
Flag this post
Microsoft C++ Team at CppCon 2025: Trip Report
devblogs.microsoft.comยท4h
๐Ÿ›Interactive Debuggers
Flag this post
Building a Visual Diff System for AI Edits (Like Git Blame for LLM Changes)
news.ycombinator.comยท17mยท
Discuss: Hacker News
๐ŸŒŠGradual Effects
Flag this post